1. Verified software
پدیدآورنده : \ Arie Gurfinkel , Sanjit A. Seshia (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a03,a03,Computer programming.,Software engineering.,برنامهنویسی ,مهندسی نرم افزار
رده :
QA
76
.
V4
2016
E-Book
,
